61. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
62. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
63. Tutorial on software design techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Programs
رده :
QA
76
.
6
.
T88
1980
64. Tutorial on software design techniques: October 12, 1976, San Francisco, California
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Computer programs
رده :
QA
76
.
6
.
T88
65. Writing pascal programs
پدیدآورنده : ROHL,JEFFREY SODEN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PASCAL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
P2
R636
1983